Full functional dependency